<html>
<head><meta charset="utf-8"><title>Running miri tests on windows · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html">Running miri tests on windows</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="177410175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177410175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nick12 <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177410175">(Oct 05 2019 at 11:24)</a>:</h4>
<p>Is it correct if, to run the miri tests, I did the following:<br>
rustup component add miri<br>
cargo miri setup<br>
set MIRI_SYSROOT=path_given_by_miri_setup<br>
cargo test (in the miri repo)</p>
<p>I was under the suspicion I could only test on *nix after reading <a href="https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#testing-the-miri-driver" target="_blank" title="https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#testing-the-miri-driver">https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#testing-the-miri-driver</a> since it suggests using the binary (Which I'm assuming can't be used on windows sans maybe msys/cygwin/mingw stuff). Would it make sense to modify that?</p>



<a name="177416599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177416599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177416599">(Oct 05 2019 at 14:25)</a>:</h4>
<p>I think there is no problem with testing miri on windows</p>



<a name="177416614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177416614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177416614">(Oct 05 2019 at 14:25)</a>:</h4>
<p>but what do you want to test? your locally built miri?</p>



<a name="177490220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177490220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nick12 <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177490220">(Oct 07 2019 at 04:34)</a>:</h4>
<p>Yes</p>



<a name="177490273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177490273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177490273">(Oct 07 2019 at 04:36)</a>:</h4>
<p>I think the miri script doesn't work correctly in windows</p>



<a name="177713808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177713808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177713808">(Oct 09 2019 at 13:35)</a>:</h4>
<p><span class="user-mention" data-user-id="219940">@Nick12</span> the instructions only mention *nix because Linux is the only platform on which I ever tried any of this. I don't have a Windows on which I could do development, nor do I have much time or motivation for tending to the countless quirks of that platform. so we mostly rely on Rust's excellent cross-platform nature and on CI to catch big "oopsies", but we try to be careful in our documentation.<br>
If you find steps that work for Miri on Windows, a PR or patches to make our scripts work on more platforms would be more than welcome!</p>



<a name="177713910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177713910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177713910">(Oct 09 2019 at 13:36)</a>:</h4>
<p>basically we support Windows insofar as it doesn't require much work and/or platform-specific knowledge, and the reason is a lack of a Windows expert to care enough to do better than that.</p>



<a name="177725776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177725776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nick12 <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177725776">(Oct 09 2019 at 15:33)</a>:</h4>
<p>Makes sense. I might do that in the weekend</p>



<a name="177728012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Running%20miri%20tests%20on%20windows/near/177728012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Running.20miri.20tests.20on.20windows.html#177728012">(Oct 09 2019 at 15:54)</a>:</h4>
<p>also see <a href="https://github.com/rust-lang/miri/pull/980" target="_blank" title="https://github.com/rust-lang/miri/pull/980">https://github.com/rust-lang/miri/pull/980</a>, someone else seems to be looking into similar issues</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>